Joint attack detection and secure state estimation of cyber-physical systems

نویسندگان

  • Nicola Forti
  • Giorgio Battistelli
  • Luigi Chisci
  • Bruno Sinopoli
چکیده

The paper deals with resilient state estimation of cyber-physical systems subject to switching signal attacks and fake measurement injection. In particular, the random set paradigm is adopted in order to model the switching nature of the signal attack and the fake measurement injection via Bernoulli and/or Poisson random sets. The problem of jointly detecting a signal attack and estimating the system state in presence of fake measurements is then formulated and solved in the Bayesian framework leading to the analytical derivation of a hybrid Bernoulli filter that updates in real-time the joint posterior density of the detection attack Bernoulli set and of the state vector. Exploiting a Gaussian-mixture implementation of the filter, a numerical example is developed in order to demonstrate the effectiveness of the proposed method. Index Terms Cyber-physical systems; signal attack; Bayesian state estimation; Bernoulli filter.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Effective Attack-Resilient Kalman Filter-Based Approach for Dynamic State Estimation of Synchronous Machine

Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...

متن کامل

IMHOTEP-SMT: A Satisfiability Modulo Theory Solver For Secure State Estimation∗

This paper presents IMHOTEP-SMT, a solver for the detection and mitigation of sensor attacks in cyber-physical systems. IMHOTEP-SMT receives as inputs a description of the physical system in the form of a linear difference equation, the system input (control) signal, and a set of output (sensor) measurements that can be noisy and corrupted by a malicious attacker. The output is the solution of ...

متن کامل

Secure State Estimation of Cyber-Physical Systems under Switching Attacks

This paper deals with secure state estimation against switching mode and signal attacks on cyber-physical systems, possibly affected by adversarial extra fake measurement injection. A stochastic Bayesian approach is undertaken by exploiting Bernoulli and Poisson random sets for modeling the attack existence and, respectively, fake measurements, as well as multiple models for handling the variou...

متن کامل

Resilient Configuration of Distribution System versus False Data Injection Attacks Against State Estimation

State estimation is used in power systems to estimate grid variables based on meter measurements. Unfortunately, power grids are vulnerable to cyber-attacks. Reducing cyber-attacks against state estimation is necessary to ensure power system safe and reliable operation. False data injection (FDI) is a type of cyber-attack that tampers with measurements. This paper proposes network reconfigurati...

متن کامل

Secure Estimation based Kalman Filter for Cyber-Physical Systems against Adversarial Attacks

Cyber-physical systems (CPSs) are found in many applications such as power networks, manufacturing processes, and air and ground transportation systems. Maintaining security of these systems under cyber attacks is an important and challenging task, since these attacks can be erratic and thus difficult to model. Secure estimation problems study how to estimate the true system states when measure...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • CoRR

دوره abs/1612.08478  شماره 

صفحات  -

تاریخ انتشار 2016